การระดมทุน วันที่ 15 กันยายน 2024 – วันที่ 1 ตุลาคม 2024 เกี่ยวกับการระดมทุน
1
Principles of Model Checking

Principles of Model Checking

ปี:
2008
ภาษา:
english
ไฟล์:
PDF, 17.08 MB
0 / 5.0
english, 2008
2
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.86 MB
0 / 5.0
english, 2007
7
Reactive systems: modelling, specification and verification

Reactive systems: modelling, specification and verification

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.97 MB
0 / 0
english, 2007
8
Sustainable Energy Systems Planning, Integration and Management

Sustainable Energy Systems Planning, Integration and Management

ปี:
2020
ภาษา:
english
ไฟล์:
PDF, 37.26 MB
0 / 5.0
english, 2020
10
Reactive Systems: Modelling, Specification and Verification

Reactive Systems: Modelling, Specification and Verification

ปี:
2007
ภาษา:
english
ไฟล์:
PDF, 1.92 MB
0 / 0
english, 2007
11
The MIT Press Principles of Model Checking

The MIT Press Principles of Model Checking

ปี:
2008
ภาษา:
english
ไฟล์:
PDF, 17.06 MB
0 / 0
english, 2008
15
Protocol Specification, Testing and Verification XIV

Protocol Specification, Testing and Verification XIV

ปี:
1995
ภาษา:
english
ไฟล์:
PDF, 11.61 MB
0 / 0
english, 1995